A computation model , called procedure scheme , for convergent infinite computations was proposed , on the basis of classical Turing machine and formal theory sequences and their limits .
还基于经典计算模型图灵（Turing）机和形式系统序列及其极限，提出了收敛无穷计算的模型，称为过程模式。
Turing machine theory